06. Formalizing Finite State Machines

05 L Formalizing FSMs